Georgios E. Fainekos: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Translating Structured English to Robot Controllers

Kress-Gazit, Hadas, Fainekos, Georgios E., Pappas, George J.

Journal:

Advanced Robotics

Year:

2008

Language:

english

File:

PDF, 812 KB

english, 2008

2

Model-based falsification of an artificial pancreas control system

Sankaranarayanan, Sriram, Kumar, Suhas Akshar, Cameron, Faye, Bequette, B. Wayne, Fainekos, Georgios, Maahs, David M.

Journal:

ACM SIGBED Review

Year:

2017

Language:

english

File:

PDF, 1.20 MB

english, 2017

3

[IEEE 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Florence, Italy (2019.3.25-2019.3.29)] 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Specifying and Evaluating Quality Metrics for Vision-based Perception Systems

Balakrishnan, Anand, Puranic, Aniruddh G., Qin, Xin, Dokhanchi, Adel, Deshmukh, Jyotirmoy V., Ben Amor, Heni, Fainekos, Georgios

Year:

2019

Language:

english

File:

PDF, 360 KB

english, 2019

4

[IEEE IECON 2010 - 36th Annual Conference of IEEE Industrial Electronics - Glendale, AZ, USA (2010.11.7-2010.11.10)] IECON 2010 - 36th Annual Conference on IEEE Industrial Electronics Society - Ant colonies for Temporal Logic falsification of hybrid systems

Annapureddy, Yashwanth Singh Rahul, Fainekos, Georgios E.

Year:

2010

Language:

english

File:

PDF, 351 KB

english, 2010

5

[IEEE 2014 IEEE 4th Annual International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER) - Hong Kong, Hong Kong (2014.6.4-2014.6.7)] The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent - Robustness-guided temporal logic testing and verification for Stochastic Cyber-Physical Systems

Abbas, Houssam, Hoxha, Bardh, Fainekos, Georgios, Ueda, Koichi

Year:

2014

Language:

english

File:

PDF, 337 KB

english, 2014

6

Inverse Design of Airfoils Based on a Novel Formulation of the Ant Colony Optimization Method

Fainekos, Georgios E., Giannakoglou, Kyriakos C.

Journal:

Inverse Problems in Engineering

Year:

2003

Language:

english

File:

PDF, 329 KB

english, 2003

7

Automatic Parallelization of Multirate Block Diagrams of Control Systems on Multicore Platforms

Tuncali, Cumhur Erkan, Fainekos, Georgios, Lee, Yann-Hang

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2016

Language:

english

File:

PDF, 1.05 MB

english, 2016

8

[IEEE 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC) - Rio de Janeiro, Brazil (2016.11.1-2016.11.4)] 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC) - Utilizing S-TaLiRo as an automatic test generation framework for autonomous vehicles

Tuncali, Cumhur Erkan, Pavlic, Theodore P., Fainekos, Georgios

Year:

2016

Language:

english

File:

PDF, 321 KB

english, 2016

9

[IEEE 2018 IEEE Intelligent Vehicles Symposium (IV) - Changshu (2018.6.26-2018.6.30)] 2018 IEEE Intelligent Vehicles Symposium (IV) - Simulation-based Adversarial Test Generation for Autonomous Vehicles with Machine Learning Components

Tuncali, Cumhur Erkan, Fainekos, Georgios, Ito, Hisahiro, Kapinski, James

Year:

2018

Language:

english

File:

PDF, 3.50 MB

english, 2018

10

Temporal logic motion planning for dynamic robots

Georgios E. Fainekos, Antoine Girard, Hadas Kress-Gazit, George J. Pappas

Journal:

Year:

2009

Language:

english

File:

PDF, 3.31 MB

english, 2009

11

Robustness of temporal logic specifications for continuous-time signals

Georgios E. Fainekos, George J. Pappas

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.94 MB

english, 2009

12

Foreword

Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan

Journal:

Mathematics in Computer Science

Year:

2011

Language:

english

File:

PDF, 105 KB

english, 2011

13

[IEEE 2007 IEEE International Conference on Robotics and Automation - Rome, Italy (2007.04.10-2007.04.14)] Proceedings 2007 IEEE International Conference on Robotics and Automation - Where's Waldo? Sensor-Based Temporal Logic Motion Planning

Kress-Gazit, Hadas, Fainekos, Georgios E., Pappas, George J.

Year:

2007

Language:

english

File:

PDF, 7.58 MB

english, 2007

14

[IEEE 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2012.10.1-2012.10.5)] 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - A model-based approach to synthesizing insulin infusion pump usage parameters for diabetic patients

Sankaranarayanan, Sriram, Miller, Christopher, Raghunathan, Rangarajan, Ravanbakhsh, Hadi, Fainekos, Georgios

Year:

2012

Language:

english

File:

PDF, 497 KB

english, 2012

15

[IEEE 2013 IEEE International Conference on Robotics and Biomimetics (ROBIO) - Shenzhen, China (2013.12.12-2013.12.14)] 2013 IEEE International Conference on Robotics and Biomimetics (ROBIO) - A graphical language for LTL motion and mission planning

Srinivas, Shashank, Kermani, Ramtin, Kim, Kangjin, Kobayashi, Yoshihiro, Fainekos, Georgios

Year:

2013

Language:

english

File:

PDF, 1.12 MB

english, 2013

16

[IEEE 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Monticello, IL, USA (2012.10.1-2012.10.5)] 2012 50th Annual Allerton Conference on Communication, Control, and Computing (Allerton) - Convergence proofs for Simulated Annealing falsification of safety properties

Abbas, Houssam, Fainekos, Georgios

Year:

2012

Language:

english

File:

PDF, 1.21 MB

english, 2012

17

[IEEE 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - Berlin, Germany (2014.4.14-2014.4.17)] 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS) - WiP abstract: Conformance testing as falsification for cyber-physical systems

Abbas, Houssam, Hoxha, Bardh, Fainekos, Georgios, Deshmukh, Jyotirmoy V., Kapinski, James, Ueda, Koichi

Year:

2014

Language:

english

File:

PDF, 126 KB

english, 2014

18

[IEEE 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2012) - Vilamoura-Algarve, Portugal (2012.10.7-2012.10.12)] 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems - Approximate solutions for the minimal revision problem of specification automata

Kim, Kangjin, Fainekos, Georgios E.

Year:

2012

Language:

english

File:

PDF, 211 KB

english, 2012

19

[IEEE 2013 IEEE International Conference on Robotics and Automation (ICRA) - Karlsruhe, Germany (2013.05.6-2013.05.10)] 2013 IEEE International Conference on Robotics and Automation - Minimal specification revision for weighted transition systems

Kim, Kangjin, Fainekos, Georgios

Year:

2013

Language:

english

File:

PDF, 321 KB

english, 2013

20

[IEEE 2009 IEEE 30th Real-Time Systems Symposium (RTSS) - Washington DC, USA (2009.12.1-2009.12.4)] 2009 30th IEEE Real-Time Systems Symposium - Robustness of Model-Based Simulations

Fainekos, Georgios, Sankaranarayanan, Sriram, Ivancic, Franjo, Gupta, Aarti

Year:

2009

Language:

english

File:

PDF, 406 KB

english, 2009

21

[IEEE 2012 IEEE International Conference on Robotics and Automation (ICRA) - St Paul, MN, USA (2012.05.14-2012.05.18)] 2012 IEEE International Conference on Robotics and Automation - On the revision problem of specification automata

Kim, Kangjin, Fainekos, Georgios E., Sankaranarayanan, Sriram

Year:

2012

Language:

english

File:

PDF, 279 KB

english, 2012

22

[IEEE Proceedings of the 45th IEEE Conference on Decision and Control - San Diego, CA, USA (2006.12.13-2006.12.15)] Proceedings of the 45th IEEE Conference on Decision and Control - Translating Temporal Logic to Controller Specifications

Fainekos, Georgios E., Loizou, Savvas G., Pappas, George J.

Year:

2006

Language:

english

File:

PDF, 8.62 MB

english, 2006

23

[IEEE 2014 IEEE International Conference on Robotics and Automation (ICRA) - Hong Kong, China (2014.5.31-2014.6.7)] 2014 IEEE International Conference on Robotics and Automation (ICRA) - Revision of specification automata under quantitative preferences

Kim, Kangjin, Fainekos, Georgios

Year:

2014

Language:

english

File:

PDF, 225 KB

english, 2014

24

[IEEE 2011 IEEE International Conference on Robotics and Automation (ICRA) - Shanghai, China (2011.05.9-2011.05.13)] 2011 IEEE International Conference on Robotics and Automation - Revising temporal logic specifications for motion planning

Fainekos, Georgios E.

Year:

2011

Language:

english

File:

PDF, 161 KB

english, 2011

25

[IEEE 2013 American Control Conference (ACC) - Washington, DC (2013.6.17-2013.6.19)] 2013 American Control Conference - Computing descent direction of MTL robustness for non-linear systems

Abbas, Houssam, Fainekos, Georgios

Year:

2013

Language:

english

File:

PDF, 230 KB

english, 2013

26

[IEEE 2014 American Control Conference - ACC 2014 - Portland, OR, USA (2014.6.4-2014.6.6)] 2014 American Control Conference - Functional gradient descent method for Metric Temporal Logic specifications

Abbas, Houssam, Winn, Andrew, Fainekos, Georgios, Julius, A. Agung

Year:

2014

Language:

english

File:

PDF, 295 KB

english, 2014

27

[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - MTL robust testing and verification for LPV systems

Fainekos, Georgios E., Pappas, George J.

Year:

2009

Language:

english

File:

PDF, 616 KB

english, 2009

28

[IEEE 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - San Diego, CA, USA (2007.10.29-2007.11.2)] 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems - From structured english to robot motion

Kress-Gazit, Hadas, Fainekos, Georgios E., Pappas, George J.

Year:

2007

Language:

english

File:

PDF, 225 KB

english, 2007

29

[ACM Press the 4th International Symposium - Barcelona, Spain (2011.10.26-2011.10.29)] Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies - ISABEL '11 - Towards modeling and analysis of cyber-physical medical systems

Banerjee, Ayan, Gupta, Sandeep K. S., Fainekos, Georgios, Varsamopoulos, Georgios

Year:

2011

Language:

english

File:

PDF, 306 KB

english, 2011

30

[IEEE 2014 Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2014) - Lausanne, Switzerland (2014.10.19-2014.10.21)] 2014 Twelfth ACM/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE) - Formal property verification in a conformance testing framework

Abbas, Houssam, Mittelmann, Hans, Fainekos, Georgios

Year:

2014

Language:

english

File:

PDF, 823 KB

english, 2014

31

Probabilistic Temporal Logic Falsification of Cyber-Physical Systems

Abbas, Houssam, Fainekos, Georgios, Sankaranarayanan, Sriram, Ivančić, Franjo, Gupta, Aarti

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2013

Language:

english

File:

PDF, 811 KB

english, 2013

32

Editorial

Fainekos, Georgios, Goubault, Eric, Ivančić, Franjo, Sankaranarayanan, Sriram

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2012

Language:

english

File:

PDF, 35 KB

english, 2012

33

[ACM Press the 15th ACM international conference - Beijing, China (2012.04.17-2012.04.19)] Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control - HSCC '12 - Falsification of temporal properties of hybrid systems using the cross-entropy method

Sankaranarayanan, Sriram, Fainekos, Georgios

Year:

2012

Language:

english

File:

PDF, 662 KB

english, 2012

34

[IEEE 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - Hamburg, Germany (2015.9.28-2015.10.2)] 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) - VISPEC: A graphical tool for elicitation of MTL requirements

Hoxha, Bardh, Mavridis, Nikolaos, Fainekos, Georgios

Year:

2015

Language:

english

File:

PDF, 361 KB

english, 2015

35

[IEEE 2015 IEEE 17th International Conference on High Performance Computing and Communications (HPCC), 2015 IEEE 7th International Symposium on Cyberspace Safety and Security (CSS) and 2015 IEEE 12th International Conf on Embedded Software and Systems (ICESS) - New York, NY, USA (2015.8.24-2015.8.26)] 2015 IEEE 17th International Conference on High Performance Computing and Communications, 2015 IEEE 7th International Symposium on Cyberspace Safety and Security, and 2015 IEEE 12th International Conference on Embedded Software and Systems - Automatic Parallelization of Simulink Models for Multi-core Architectures

Tuncali, Cumhur Erkan, Fainekos, Georgios, Lee, Yann-Hang

Year:

2015

Language:

english

File:

PDF, 290 KB

english, 2015

36

[IEEE 2015 IEEE International Conference on Automation Science and Engineering (CASE) - Gothenburg, Sweden (2015.8.24-2015.8.28)] 2015 IEEE International Conference on Automation Science and Engineering (CASE) - DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems

Kim, Kangjin, Campbell, Joe, Duong, William, Zhang, Yu, Fainekos, Georgios

Year:

2015

Language:

english

File:

PDF, 1.64 MB

english, 2015

37

[IEEE 2015 International Conference on Embedded Software (EMSOFT) - Amsterdam, Netherlands (2015.10.4-2015.10.9)] 2015 International Conference on Embedded Software (EMSOFT) - Requirements driven falsification with coverage metrics

Dokhanchi, Adel, Zutshi, Aditya, Sriniva, Rahul T., Sankaranarayanan, Sriram, Fainekos, Georgios

Year:

2015

File:

PDF, 1.08 MB

2015

38

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Automotive control design bug-finding with the S-TaLiRo tool

Fainekos, Georgios

Year:

2015

Language:

english

File:

PDF, 64 KB

english, 2015

39

[IEEE 2015 International Conference on Embedded Software (EMSOFT) - Amsterdam, Netherlands (2015.10.4-2015.10.9)] 2015 International Conference on Embedded Software (EMSOFT) - Requirements driven falsification with coverage metrics

Dokhanchi, Adel, Zutshi, Aditya, Sriniva, Rahul T., Sankaranarayanan, Sriram, Fainekos, Georgios

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

40

[IEEE 2015 American Control Conference (ACC) - Chicago, IL, USA (2015.7.1-2015.7.3)] 2015 American Control Conference (ACC) - Beyond single shooting: Iterative approaches to falsification

Deshmukh, Jyotirmoy, Fainekos, Georgios, Kapinski, James, Sankaranarayanan, Sriram, Zutshi, Aditya, Xiaoqing Jin,

Year:

2015

Language:

english

File:

PDF, 76 KB

english, 2015

41

[IEEE 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Austin, TX, USA (2015.9.21-2015.9.23)] 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) - Metric interval temporal logic specification elicitation and debugging

Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios

Year:

2015

Language:

english

File:

PDF, 441 KB

english, 2015

42

Computing Schedules for Time-Triggered Control using Genetic Algorithms

Nghiem, Truong, Fainekos, Georgios E.

Journal:

IFAC Proceedings Volumes

Year:

2011

Language:

english

File:

PDF, 194 KB

english, 2011

43

[IEEE 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC) - Rio de Janeiro, Brazil (2016.11.1-2016.11.4)] 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC) - Traffic light status detection using movement patterns of vehicles

Campbell, Joseph, Ben Amor, Heni, Ang, Marcelo H., Fainekos, Georgios

Year:

2016

Language:

english

File:

PDF, 927 KB

english, 2016

44

Mining parametric temporal logic properties in model-based design for cyber-physical systems

Hoxha, Bardh, Dokhanchi, Adel, Fainekos, Georgios

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2017

Language:

english

File:

PDF, 1.27 MB

english, 2017

45

19th International Conference on Hybrid Systems: Computation and Control [Conference Reports]

Abate, Alessandro, Fainekos, Georgios

Journal:

IEEE Control Systems

Year:

2016

Language:

english

File:

PDF, 2.89 MB

english, 2016

46

[IEEE 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Kanpur, India (2016.11.18-2016.11.20)] 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - An efficient algorithm for monitoring practical TPTL specifications

Dokhanchi, Adel, Hoxha, Bardh, Tuncali, Cumhur Erkan, Fainekos, Georgios

Year:

2016

Language:

english

File:

PDF, 603 KB

english, 2016

47

[IEEE 2017 American Control Conference (ACC) - Seattle, WA, USA (2017.5.24-2017.5.26)] 2017 American Control Conference (ACC) - Temporal logic control under incomplete or conflicting information

Fainekos, Georgios, Tanner, Herbert G.

Year:

2017

Language:

english

File:

PDF, 416 KB

english, 2017

48

Formal Requirement Debugging for Testing and Verification of Cyber-Physical Systems

Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 909 KB

english, 2017

49

[IEEE 2016 IEEE International Conference on Automation Science and Engineering (CASE) - Fort Worth, TX, USA (2016.8.21-2016.8.25)] 2016 IEEE International Conference on Automation Science and Engineering (CASE) - Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach

Campbell, Joseph, Tuncali, Cumhur Erkan, Liu, Peng, Pavlic, Theodore P., Ozguner, Umit, Fainekos, Georgios

Year:

2016

Language:

english

File:

PDF, 1021 KB

english, 2016

50

[IEEE 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017) - Xi'an (2017.8.20-2017.8.23)] 2017 13th IEEE Conference on Automation Science and Engineering (CASE) - Functional gradient descent optimization for automatic test case generation for vehicle controllers

Tuncali, Cumhur Erkan, Yaghoubi, Shakiba, Pavlic, Theodore P., Fainekos, Georgios

Year:

2017

Language:

english

File:

PDF, 258 KB

english, 2017